lexicographic decision rule

依序比较决策法则